Formal change impact analyses for emulated control software

Processor emulators are a software tool for allowing legacy computer programs to be executed on a modern processor. In the past emulators have been used in trivial applications such as maintenance of video games. Now, however, processor emulation is being applied to safety-critical control systems, including military avionics. These applications demand utmost guarantees of correctness, but no verification techniques exist for proving that an emulated system preserves the original system’s functional and timing properties. Here we show how this can be done by combining concepts previously used for reasoning about real-time program compilation, coupled with an understanding of the new and old software architectures. In particular, we show how both the old and new systems can be given a common semantics, thus allowing their behaviours to be compared directly

Biomarker analyses in the phase III ASCENT study of sacituzumab govitecan versus chemotherapy in patients with metastatic triple-negative breast cancer

BRCA; Cáncer de mama triple negativo: Antígeno 2 de la superficie celular del trofoblastoBRCA; Càncer de mama triple negatiu; Antigen 2 de la superfície cel·lular del trofoblastBRCA; Triple-negative breast cancer; Trophoblast cell-surface antigen 2Background The pivotal phase III ASCENT trial demonstrated improved survival outcomes associated with sacituzumab govitecan (SG), an anti-trophoblast cell-surface antigen 2 (anti-Trop-2) antibody-drug conjugate linked with the topoisomerase-inhibitor SN-38, over single-agent chemotherapy treatment of physician’s choice (TPC) in previously treated metastatic triple-negative breast cancer (mTNBC). This prespecified, exploratory biomarker analysis from the ASCENT trial evaluates the association between tumor Trop-2 expression and germline BRCA1/2 mutation status with clinical outcomes. Patients and methods Patients with mTNBC refractory to or progressing after two or more prior chemotherapies, with one or more in the metastatic setting, were randomized to receive SG (10 mg/kg intravenously days 1 and 8, every 21 days) or TPC (capecitabine, eribulin, vinorelbine, or gemcitabine) until disease progression/unacceptable toxicity. Biopsy or surgical specimens were collected at study entry to determine Trop-2 expression level using a validated immunohistochemistry assay and histochemical scoring. Germline BRCA1/2 mutation status was collected at baseline. Results Of 468 assessable patients, 290 had Trop-2 expression data [64% (n = 151 SG) versus 60% (n = 139 TPC)] and 292 had known BRCA1/2 mutation status [63% (n = 149 SG) versus 61% (n = 143 TPC)]. Median progression-free survival in SG- versus TPC-treated patients was 6.9, 5.6, and 2.7 months versus 2.5, 2.2, and 1.6 months for high, medium, and low Trop-2 expression, respectively. Median overall survival (14.2, 14.9, and 9.3 months versus 6.9, 6.9, and 7.6 months) and objective response rates (44%, 38%, and 22% versus 1%, 11%, and 6%) were numerically higher with SG versus TPC in patients with high, medium, and low Trop-2 expression, respectively. Efficacy outcomes were numerically higher with SG versus TPC in patients with and without germline BRCA1/2 mutations. Conclusions SG benefits patients with previously treated mTNBC expressing high/medium Trop-2 compared with standard-of-care chemotherapy and regardless of germline BRCA1/2 mutation status. The small number of patients with low Trop-2 expression precludes definitive conclusions on the benefit of SG in this subgroup.This work was supported by Immunomedics, Inc., a subsidiary of Gilead Sciences, Inc. (no grant number)

Use of a Urine Anastrozole Assay to Determine Treatment Discontinuation Among Women With Hormone-Sensitive Breast Cancer: A Pilot Study

Purpose: Multiple studies have shown that adherence to adjuvant hormonal therapy in women with breast cancer is suboptimal. Measurements of compliance with self-report, pill counts, and/or pharmacy records are susceptible to bias. We assessed the feasibility of using a urine anastrozole assay as an objective biomarker of nonadherence to anastrozole treatment. Patients and Methods: We recruited consecutive postmenopausal women, age ≥ 18 years, with hormone-sensitive nonmetastatic breast cancer who were prescribed anastrozole at least 3 months before enrollment. Each completed a short survey to gather information on demographics, anastrozole compliance history, and self-reported medication history, tumor characteristics, and treatment received. A single, random 15-mL urine sample was collected and tested for the presence of anastrozole using a previously validated assay. Patients were told they were part of a study to determine if anastrozole could be detected in the urine. Results: Among 96 participants, mean age was 63.7 years (range, 51 to 70 years). The population was diverse, with 56.5% white, 57.6% US born, 59.8% unemployed, and 56.6% college educated. Prior treatment included chemotherapy (50%) and/or radiotherapy (58.7%). Mean duration of anastrozole treatment was 2.2 years (standard deviation, 1.6). Four participants reported nonadherence and declined to submit urine samples, and two had no detectable level of anastrozole (six of 96; 6.3%). Detectable levels among adherent women ranged from 49.3 to 632.8 ng/mL. Conclusion: We demonstrated that collection of urine to measure anastrozole levels is feasible and reliable. Identifying biomarkers to measure adherence is critical for studies investigating interventions to improve hormonal therapy compliance

Markers for the identification of late breast cancer recurrence

This is an Open Access article distributed under the terms of the Creative Commons Attribution License (http://creativecommons.org/licenses/by/4.0), which permits unrestricted use, distribution, and reproduction in any medium, provided the original work is properly credited

If we build it they will come: targeting the immune response to breast cancer.

Historically, breast cancer tumors have been considered immunologically quiescent, with the majority of tumors demonstrating low lymphocyte infiltration, low mutational burden, and modest objective response rates to anti-PD-1/PD-L1 monotherapy. Tumor and immunologic profiling has shed light on potential mechanisms of immune evasion in breast cancer, as well as unique aspects of the tumor microenvironment (TME). These include elements associated with antigen processing and presentation as well as immunosuppressive elements, which may be targeted therapeutically. Examples of such therapeutic strategies include efforts to (1) expand effector T-cells, natural killer (NK) cells and immunostimulatory dendritic cells (DCs), (2) improve antigen presentation, and (3) decrease inhibitory cytokines, tumor-associated M2 macrophages, regulatory T- and B-cells and myeloid derived suppressor cells (MDSCs). The goal of these approaches is to alter the TME, thereby making breast tumors more responsive to immunotherapy. In this review, we summarize key developments in our understanding of antitumor immunity in breast cancer, as well as emerging therapeutic modalities that may leverage that understanding to overcome immunologic resistance

Small molecules and targeted therapies in distant metastatic disease

Chemotherapy, biological agents or combinations of both have had little impact on survival of patients with metastatic melanoma. Advances in understanding the genetic changes associated with the development of melanoma resulted in availability of promising new agents that inhibit specific proteins up-regulated in signal cell pathways or inhibit anti-apoptotic proteins. Sorafenib, a multikinase inhibitor of the RAF/RAS/MEK pathway, elesclomol (STA-4783) and oblimersen (G3139), an antisense oligonucleotide targeting anti-apoptotic BCl-2, are in phase III clinical studies in combination with chemotherapy. Agents targeting mutant B-Raf (RAF265 and PLX4032), MEK (PD0325901, AZD6244), heat-shock protein 90 (tanespimycin), mTOR (everolimus, deforolimus, temsirolimus) and VEGFR (axitinib) showed some promise in earlier stages of clinical development. Receptor tyrosine-kinase inhibitors (imatinib, dasatinib, sunitinib) may have a role in treatment of patients with melanoma harbouring c-Kit mutations. Although often studied as single agents with disappointing results, new targeted drugs should be more thoroughly evaluated in combination therapies. The future of rational use of new targeted agents also depends on successful application of analytical techniques enabling molecular profiling of patients and leading to selection of likely therapy responders

Phosphatidylinositol 3-kinase pathway activation in breast cancer brain metastases

Activation status of the phosphatidylinositol 3-kinase (PI3K) pathway in breast cancer brain metastases (BCBMs) is largely unknown. We examined expression of phospho(p)-AKT, p-S6, and phosphatase and tensin homologue (PTEN) in BCBMs and their implications for overall survival (OS) and survival after BCBMs. Secondary analyses included PI3K pathway activation status and associations with time to distant recurrence (TTDR) and time to BCBMs. Similar analyses were also conducted among the subset of patients with triple-negative BCBMs. METHODS: p-AKT, p-S6, and PTEN expression was assessed with immunohistochemistry in 52 BCBMs and 12 matched primary BCs. Subtypes were defined as hormone receptor (HR)+/HER2-, HER2+, and triple-negative (TNBC). Survival analyses were performed by using a Cox model, and survival curves were estimated with the Kaplan-Meier method. RESULTS: Expression of p-AKT and p-S6 and lack of PTEN (PTEN-) was observed in 75%, 69%, and 25% of BCBMs. Concordance between primary BCs and matched BCBMs was 67% for p-AKT, 58% for p-S6, and 83% for PTEN. PTEN- was more common in TNBC compared with HR+/HER2- and HER2+. Expression of p-AKT, p-S6, and PTEN- was not associated with OS or survival after BCBMs (all, P > 0.06). Interestingly, among all patients, PTEN- correlated with shorter time to distant and brain recurrence. Among patients with TNBC, PTEN- in BCBMs was associated with poorer overall survival. CONCLUSIONS: The PI3K pathway is active in most BCBMs regardless of subtype. Inhibition of this pathway represents a promising therapeutic strategy for patients with BCBMs, a group of patients with poor prognosis and limited systemic therapeutic options. Although expression of the PI3K pathway did not correlate with OS and survival after BCBM, PTEN- association with time to recurrence and OS (among patients with TNBC) is worthy of further study

Surgical Standards for Management of the Axilla in Breast Cancer Clinical Trials with Pathological Complete Response Endpoint.

Advances in the surgical management of the axilla in patients treated with neoadjuvant chemotherapy, especially those with node positive disease at diagnosis, have led to changes in practice and more judicious use of axillary lymph node dissection that may minimize morbidity from surgery. However, there is still significant confusion about how to optimally manage the axilla, resulting in variation among practices. From the viewpoint of drug development, assessment of response to neoadjuvant chemotherapy remains paramount and appropriate assessment of residual disease-the primary endpoint of many drug therapy trials in the neoadjuvant setting-is critical. Therefore decreasing the variability, especially in a multicenter clinical trial setting, and establishing a minimum standard to ensure consistency in clinical trial data, without mandating axillary lymph node dissection, for all patients is necessary. The key elements which include proper staging and identification of nodal involvement at diagnosis, and appropriately targeted management of the axilla at the time of surgical resection are presented. The following protocols have been adopted as standard procedure by the I-SPY2 trial for management of axilla in patients with node positive disease, and present a framework for prospective clinical trials and practice